Ir al contenido

Función indicatriz de Jordan

De Wikipedia, la enciclopedia libre

En teoría de números, la función indicatriz de Jordan de un entero positivo n es el número de k-tuplas de enteros positivos todos menores o iguales a n que forman una (k + 1)-tupla coprima junto con n. Esta es una generalización de la función φ de Euler, que es J1. La función se llaman en honor de Camille Jordan.

Definición

[editar]

La función indicatriz de Jordan es una función multiplicativa y puede ser evaluada como

Propiedades

[editar]

La cual puede ser escrita en el lenguaje de convoluciones de Dirichlet como

y utilizando inversión de Möbius como

.

Puesto que la función generadora de Dirichlet de μ es 1/ζ(s) y la función generadora de nk es ζ(s-k), las series para Jk se convierten en

.
,

y mediante inspección de la definición (reconociendo que cada factor en el producto sobre los números primos es un polinomio ciclotómico de p-k), las funciones aritméticas definidas mediante o pueden mostrarse que son funciones multiplicativas evaluadas en los números enteros.

  •      [1]

Orden del grupo de matrices

[editar]

El grupo general lineal de matrices de orden m sobre Zn tienen orden[2]

El grupo especial lineal de matrices de orden m sobre Zn tiene orden

El grupo simpléctico de matrices de orden m sobre Zn tiene orden

Las dos primeras fórmulas fueron descubiertas por Jordan.

Ejemplos

[editar]

Listas explícitas en OEIS son J2 en A007434, J3 en A059376, J4 en A059377, J5 en A059378, J6 hasta J10 en A069091 hasta A069095.


Funciones multiplicativas definidas por sus relaciones son J2(n)/J1(n) in A001615, J3(n)/J1(n) in A160889, J4(n)/J1(n) in A160891, J5(n)/J1(n) in A160893, J6(n)/J1(n) in A160895, J7(n)/J1(n) in A160897, J8(n)/J1(n) in A160908, J9(n)/J1(n) in A160953, J10(n)/J1(n) in A160957, J11(n)/J1(n) in A160960.


Ejemplos de relaciones J2k(n)/Jk(n) son J4(n)/J2(n) en A065958, J6(n)/J3(n) en A065959, y J8(n)/J4(n) en A065960.

Notas

[editar]
  1. Holden et al en enlaces externos. La fórmula es de Gegenbauer.
  2. Todas estas fórmulas provienen de Andrici y Priticari en #Enlaces externos.

Referencias

[editar]

Enlaces externos

[editar]